Reachability analysis of (Timed) Petri nets using real arithmeticBERARD, B; FRIBOURG, L.Lecture notes in computer science. 1999, pp 178-193, issn 0302-9743, isbn 3-540-66425-4Conference Paper

POC net, a subclass of Petri nets, and its application to timed Petri netsATSUCHI OHTA; TOMIJI HISAMURA.International journal of systems science. 1993, Vol 24, Num 3, pp 539-552, issn 0020-7721Article

Representing Petri Nets in an action based formalismOTERO, R. P; RODRIGUEZ, J. M.Lecture notes in computer science. 2000, pp 105-115, issn 0302-9743, isbn 3-540-67822-0Conference Paper

A characterization of the stochastic process underlying a stochastic petri netCIARDO, G; GERMAN, R; LINDEMANN, C et al.IEEE transactions on software engineering. 1994, Vol 20, Num 7, pp 506-515, issn 0098-5589Article

Oris: a tool for modeling, verification and evaluation of real-time systemsBUCCI, Giacomo; CARNEVALI, Laura; RIDI, Lorenzo et al.International journal on software tools for technology transfer (Print). 2010, Vol 12, Num 5, pp 391-403, issn 1433-2779, 13 p.Article

Proving properties of real-time systems through logical specifications and petri net modelsFELDER, M; MANDRIOLI, D; MORZENTI, A et al.IEEE transactions on software engineering. 1994, Vol 20, Num 2, pp 127-141, issn 0098-5589Article

Timed colored petri nets and fuzzy sets based model for decision makingSIMOES, M. A. S; BARRETTO, M. R. P.SPIE proceedings series. 2000, pp 286-294, isbn 0-8194-3857-XConference Paper

A partial order method for the verification of time Petri netsVIRBITSKAITE, I; POKOZY, E.Lecture notes in computer science. 1999, pp 547-558, issn 0302-9743, isbn 3-540-66412-2Conference Paper

Temporal analysis of data flow control systemsBERNARDESCHI, C; BONDAVALLI, A; CSERTAN, G et al.Automatica (Oxford). 1998, Vol 34, Num 2, pp 169-182, issn 0005-1098Article

Timed Petri net models of ATM LANsREID, M; ZUBEREK, W. M.Application of Petri nets to communication networks (advances in Petri nets). Lecture notes in computer science. 1999, pp 150-175, issn 0302-9743, isbn 3-540-65870-XBook Chapter

A heuristic search approach using approximate solutions to Petri net state equations for scheduling flexible manufacturing systemsMU DER JENG; SHIH CHANG CHEN.International journal of flexible manufacturing systems. 1998, Vol 10, Num 2, pp 139-162, issn 0920-6299Article

Modeling and controlling an isolated urban intersection based on cooperative vehiclesAHMANE, Mourad; ABBAS-TURKI, Abdeljalil; PERRONNET, Florent et al.Transportation research. Part C, Emerging technologies. 2013, Vol 28, pp 44-62, issn 0968-090X, 19 p.Article

Incorporation of Cycles and Inhibitory Arcs into the Timed Petri Net Model of Signaling Pathway : Mathematical Systems Science and its ApplicationsMURAKAMI, Yuki; GE, Qi-Wei; MATSUNO, Hiroshi et al.IEICE transactions on fundamentals of electronics, communications and computer science. 2013, Vol 96, Num 2, pp 514-524, issn 0916-8508, 11 p.Article

Supporting adaptive learning in hypertext environments : a high level timed Petri net-based approach : Intelligent decision support systemsSHANG GAO; ZILI ZHANG; HAWRYSZKIEWYCZ, Igor et al.International journal of intelligent systems technologies and applications (Print). 2008, Vol 4, Num 3-4, pp 341-354, issn 1740-8865, 14 p.Article

Distributed performance evaluation of a controlled IC fabKUO, Chung-Hsien; HUANG, Han-Pang.IEEE transactions on robotics and automation. 2003, Vol 19, Num 6, pp 1027-1033, issn 1042-296X, 7 p.Article

When are Timed Automata weakly timed bisimilar to Time Petri Nets?BERARD, B; CASSEZ, F; HADDAD, S et al.Theoretical computer science. 2008, Vol 403, Num 2-3, pp 202-220, issn 0304-3975, 19 p.Article

Auto-design systematic methodology of cluster MPSoC for multiple concurrent applicationsDA LI; YIBIN HOU; ZHANGQIN HUANG et al.International journal of computer applications in technology. 2013, Vol 48, Num 3, pp 253-261, issn 0952-8091, 9 p.Article

Fuzzy timed Petri nets : analysis and implementationZOUHUA DING; BUNKE, Horst; KIPERSZTOK, Oscar et al.Mathematical and computer modelling. 2006, Vol 43, Num 3-4, pp 385-400, issn 0895-7177, 16 p.Article

Contraction of the ITCPN state spaceBOUCHENEB, H; BERTHELOT, G.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopWorkshop on the theory and practice of timed systems. 2002, 15 p.Conference Paper

Formal synthesis of real-time embedded software by Time-Memory Scheduling of Colored Time Petri NetsHSIUNG, Pao-Ann; GAU, Chuen-Hau.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopWorkshop on the theory and practice of timed systems. 2002, 20 p.Conference Paper

Composer des réseaux de Petri temporelsPERES, Florent; BERTHOMIEU, Bernard; VERNADAT, François et al.Journal européen des systèmes automatisés. 2009, Vol 43, Num 7-9, pp 1001-1015, issn 1269-6935, 15 p.Conference Paper

Exploitation des contraintes temporelles pour le suivi temps-réel des SEDs = Exploitation of time constraints for the real time monitoring of DESsGHAZEL, Mohamed; BIGAND, Michel; TOGUYENI, Armand et al.Journal européen des systèmes automatisés. 2005, Vol 39, Num 1-3, pp 143-158, issn 1269-6935, 16 p.Conference Paper

A Configurable State Class Method for Temporal Analysis of Time Petri NetsLI PAN; ZHI JUN DING; MENG CHU ZHOU et al.IEEE transactions on systems, man, and cybernetics. Systems (Print). 2014, Vol 44, Num 4, pp 482-493, issn 2168-2216, 12 p.Article

Toward specifying multimedia requirements using a new time petri net modelABDELLI, Abdelkrim; BADACHE, Nadjib.CIT. Journal of computing and information technology. 2007, Vol 15, Num 3, pp 195-213, issn 1330-1136, 19 p.Article

Application of Petri nets to communication networks (advances in Petri nets)Billington, Jonathan; Diaz, Michel; Rozenberg, Grzegorz et al.Lecture notes in computer science. 1999, issn 0302-9743, isbn 3-540-65870-X, VIII, 303 p, isbn 3-540-65870-XBook